Science of Logic - PDFSEARCH.IO - Document Search Engine

Science of Logic
Results: 5317

#	Item
41	Grailog 1.0: Graph-Logic Visualization of Ontologies and Rules Harold Boley National Research Council, Security and Disruptive Technologies University of New Brunswick, Faculty of Computer Science Fredericton, NB, Canada Add to Reading List Source URL: cs.unb.ca - Date: 2013-05-12 19:46:42
42	Belief Contraction for the Description Logic EL Zhi Qiang Zhuang and Maurice Pagnucco ARC Centre of Excellence for Autonomous Systems and National ICT Australia, School of Computer Science and Engineering, The University Add to Reading List Source URL: ceur-ws.org - Date: 2009-07-07 04:46:34
43	Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic Add to Reading List Source URL: canbaskent.net - Date: 2016-04-10 14:02:47
44	Paraconsistent Dynamic Epistemic Logic topological models for inconsistent knowledge Can Başkent Department of Computer Science, University of Bath Add to Reading List Source URL: canbaskent.net - Date: 2016-06-14 07:51:00
45	A Computational Grammar and Lexicon for Maltese Master of Science Thesis in the programme: Computer Science — Algorithms, Languages and Logic J J. C Add to Reading List Source URL: academic.johnjcamilleri.com - Date: 2014-04-23 15:38:23
46	Paraconsistent Dynamic Epistemic Logic Can BA¸ SKENT Department of Computer Science, University of Bath canbaskent.net/logic Add to Reading List Source URL: canbaskent.net - Date: 2016-04-10 14:02:56
47	A Paraconsistent Logic for Contrary-to-Duty Obligations Can BAS ¸ KENT Department of Computer Science, University of Bath, England Add to Reading List Source URL: canbaskent.net - Date: 2015-08-02 13:46:03
48	Declarative Modeling of Finite Mathematics Paul Tarau Department of Computer Science and Engineering University of North Texas PPDP’10, July 2010 Add to Reading List Source URL: logic.cse.unt.edu - Date: 2010-07-26 23:06:18
49	Games in algebraic logic: axiomatisations and beyond Robin Hirsch and Ian Hodkinson Department of Computer Science, University College London, UK Department of Computing, Imperial College London, UK March 6, 2005 Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2005-03-06 09:02:36
50	The learnability of Auditory Center-embedded Recursion Jun Lai () Tilburg Center for Logic, Ethics and Philosophy of Science; Tilburg Center for Cognition and Communication, Tilburg University, Add to Reading List Source URL: mindmodeling.org - Date: 2015-07-27 15:58:38

UPDATE